package il.ac.technion.cs236700.utils.annotations;

import java.lang.annotation.ElementType;
import java.lang.annotation.Target;

//This annotation annotates methods which overrides inherited 
//non abstract methods.

@Target(ElementType.METHOD)
public @interface OverridesNonAbstractMethod {

}
